formal system
noun
1.
(
logic
) an uninterpreted symbolic system whose syntax is precisely defined, and on which a relation of deducibility is defined in purely syntactic terms; a logistic system
Also called
formal theory,
formal calculus
Compare
formal language